体外预应力筋极限应力增量的理论分析与试验研究

为研究体外预应力梁受弯破坏过程的力学性能及体外预应力筋极限应力增量,对比分析了各国规范关于体外预应力筋应力增量的计算方法,设计并完成了2根体外预应力波形钢腹板简支组合梁的抗弯承载力试验,编制了非线性全过程分析程序对2根梁进行了分析;以跨高比为主要变量,考虑混凝土强度、截面配筋状况、体外预应力筋有效预应力等因素,以平截面假定为基础,根据极限状态时梁截面内力平衡条件,通过增大受压区混凝土面积建立了体外预应力筋极限应力增量的简化计算公式,并用搜集到的19根试验梁数据对该计算公式加以验证。结果表明:体外预应力组合梁受弯破坏全过程与体内预应力梁基本类似,但是梁破坏时体外预应力筋还未进入屈服阶段,利用各规范公式计算的体外预应力筋极限应力增量比试验值小很多,与试验梁普通受拉钢筋屈服时的体外预应力筋应力增量相当;体外预应力筋的极限应力增量与跨中挠度近似呈直线关系;计算结果与试验结果吻合良好,该公式具有一定的参考价值。     

基于本体的Web服务行为语义建模方法

提出一种基于本体的Web服务的服务行为语义建模方法,对于Web服务提供的服务行为、用户预期的服务行为、以及服务组合的交互行为之间的一致性关系进行了语义建模,构建了判断Web服务提供的服务行为是否符合用户预期的本体描述和语义计算模型,利用现有Web服务样本进行实验验证并给出性能分析.     

网络环境下过程写作法的实践

以建构主义理论为指导、网络技术为支撑,灵活运用过程写作法的教学理论和原则,试图探索网络环境下过程写作教学是否优于传统英语写作教学。经过一个学期的对比实验,采用SPSS统计软件对实验组和控制组的中测和后测数据进行分析,结果显示过程写作教学模式优于传统写作教学。     

On the formalization and reuse of scientific research

The reuse of scientific knowledge obtained from one investigation in another investigation is basic to the advance of science. Scientific investigations should therefore be recorded in ways that promote the reuse of the knowledge they generate. The use of logical formalisms to describe scientific knowledge has potential advantages in facilitating such reuse. Here, we propose a formal framework for using logical formalisms to promote reuse. We demonstrate the utility of this framework by using it in a worked example from biology: demonstrating cycles of investigation formalization [F] and reuse [R] to generate new knowledge. We first used logic to formally describe a Robot scientist investigation into yeast (Saccharomyces cerevisiae) functional genomics [f₁]. With Robot scientists, unlike human scientists, the production of comprehensive metadata about their investigations is a natural by-product of the way they work. We then demonstrated how this formalism enabled the reuse of the research in investigating yeast phenotypes [r₁ = R(f₁)]. This investigation found that the removal of non-essential enzymes generally resulted in enhanced growth. The phenotype investigation was then formally described using the same logical formalism as the functional genomics investigation [f₂ = F(r₁)]. We then demonstrated how this formalism enabled the reuse of the phenotype investigation to investigate yeast systems-biology modelling [r₂ = R(f₂)]. This investigation found that yeast flux-balance analysis models fail to predict the observed changes in growth. Finally, the systems biology investigation was formalized for reuse in future investigations [f₃ = F(r₂)]. These cycles of reuse are a model for the general reuse of scientific knowledge.     

Web安全防范问题的研究

互联网的安全问题日益引起人们的重视,忽视互联网的安全就等于在技术层面存在缺陷,着重探讨基于web服务的安全规范。     

蜂窝梁腹板在纯弯状态下的屈曲性能分析

基于薄板的屈曲理论,通过有限元分析软件ANSYS对带有六边形孔的腹板进行了屈曲性能分析,求出了单孔及双孔腹板在纯弯作用下的屈曲形态和屈曲系数,并最终拟合了板的高厚比限值,可供有关设计参考。     

计算机网页制作中几个疑难问题及解决方案

本文简要概述了计算机网页制作中存在的表格、字幕和颜色这三方面的问题,针对问题提出了相应的解决方案。     

基于AMF-RPC框架的.NET for flash网络应用程序

Flash动态网站已成为"数据驱动的富媒体应用程序"开发的核心,基于AMF-RPC框架的Flash Remoting技术,能够实现完美的.NET for flash网络应用程序。本文主要介绍AMF-RPC技术,以及在这种技术框架下实现asp.net与flash完美结合。